Combining Texts

All the ideas for 'works', 'On Interpretation' and 'Instrospection'

expand these ideas     |    start again     |     specify just one area for these texts

62 ideas

2. Reason / B. Laws of Thought / 4. Contraries
1708 In "Callias is just/not just/unjust", which of these are contraries? [Aristotle]
3. Truth / B. Truthmakers / 10. Making Future Truths
1703 It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
1704 Statements are true according to how things actually are [Aristotle]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
22272 Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle]
9405 Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
9728 Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn]
9729 Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn]
9730 Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn]
9731 Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn]
9732 Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn]
9733 Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
15901 Trying to represent curves, we study arbitrary functions, leading to the ordinals, which produces set theory [Cantor, by Lavine]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / c. Basic theorems of ST
13444 Cantor's Theorem: for any set x, its power set P(x) has more members than x [Cantor, by Hart,WD]
18098 Cantor proved that all sets have more subsets than they have members [Cantor, by Bostock]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
15505 If a set is 'a many thought of as one', beginners should protest against singleton sets [Cantor, by Lewis]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
10865 The continuum is the powerset of the integers, which moves up a level [Cantor, by Clegg]
10701 Cantor showed that supposed contradictions in infinity were just a lack of clarity [Cantor, by Potter]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
13016 The Axiom of Union dates from 1899, and seems fairly obvious [Cantor, by Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / b. Combinatorial sets
14199 Cantor's sets were just collections, but Dedekind's were containers [Cantor, by Oliver/Smiley]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
21593 In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
1701 A prayer is a sentence which is neither true nor false [Aristotle]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
10082 There are infinite sets that are not enumerable [Cantor, by Smith,P]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / b. Cantor's paradox
13483 Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / e. Mirimanoff's paradox
8710 The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
15910 Cantor named the third realm between the finite and the Absolute the 'transfinite' [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
15905 Cantor proved the points on a plane are in one-to-one correspondence to the points on a line [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
9983 Cantor took the ordinal numbers to be primary [Cantor, by Tait]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
17798 Cantor presented the totality of natural numbers as finite, not infinite [Cantor, by Mayberry]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
9971 Cantor introduced the distinction between cardinals and ordinals [Cantor, by Tait]
9892 Cantor showed that ordinals are more basic than cardinals [Cantor, by Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
14136 A cardinal is an abstraction, from the nature of a set's elements, and from their order [Cantor]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
15906 Cantor tried to prove points on a line matched naturals or reals - but nothing in between [Cantor, by Lavine]
11015 Cantor's diagonal argument proved you can't list all decimal numbers between 0 and 1 [Cantor, by Read]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
15903 A real is associated with an infinite set of infinite Cauchy sequences of rationals [Cantor, by Lavine]
18251 Irrational numbers are the limits of Cauchy sequences of rational numbers [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
15902 Irrationals and the Dedekind Cut implied infinite classes, but they seemed to have logical difficulties [Cantor, by Lavine]
15908 It was Cantor's diagonal argument which revealed infinities greater than that of the real numbers [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
13464 Cantor proposes that there won't be a potential infinity if there is no actual infinity [Cantor, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
10112 The naturals won't map onto the reals, so there are different sizes of infinity [Cantor, by George/Velleman]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
17889 CH: An infinite set of reals corresponds 1-1 either to the naturals or to the reals [Cantor, by Koellner]
8733 The Continuum Hypothesis says there are no sets between the natural numbers and reals [Cantor, by Shapiro]
13447 Cantor: there is no size between naturals and reals, or between a set and its power set [Cantor, by Hart,WD]
10883 Cantor's Continuum Hypothesis says there is a gap between the natural and the real numbers [Cantor, by Horsten]
13528 Continuum Hypothesis: there are no sets between N and P(N) [Cantor, by Wolf,RS]
9555 Continuum Hypothesis: no cardinal greater than aleph-null but less than cardinality of the continuum [Cantor, by Chihara]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
18174 Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy]
15893 Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
18173 Cardinality strictly concerns one-one correspondence, to test infinite sameness of size [Cantor, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
10232 Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
18176 Pure mathematics is pure set theory [Cantor]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
8631 Cantor says that maths originates only by abstraction from objects [Cantor, by Frege]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
1706 Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle]
7. Existence / A. Nature of Existence / 5. Reason for Existence
1707 Maybe necessity and non-necessity are the first principles of ontology [Aristotle]
16. Persons / C. Self-Awareness / 1. Introspection
5692 Introspection is not perception, because there are no extra qualities apart from the mental events themselves [Rosenthal]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
8715 Infinities expand the bounds of the conceivable; we explore concepts to explore conceivability [Cantor, by Friend]
18. Thought / E. Abstraction / 2. Abstracta by Selection
13454 Cantor says (vaguely) that we abstract numbers from equal sized sets [Hart,WD on Cantor]
19. Language / A. Nature of Meaning / 2. Meaning as Mental
2337 For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam]
19. Language / D. Propositions / 4. Mental Propositions
13763 Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle]
19. Language / F. Communication / 3. Denial
1705 It doesn't have to be the case that in opposed views one is true and the other false [Aristotle]
27. Natural Reality / C. Space / 3. Points in Space
10863 Cantor proved that three dimensions have the same number of points as one dimension [Cantor, by Clegg]
27. Natural Reality / D. Time / 1. Nature of Time / g. Growing block
1702 Things may be necessary once they occur, but not be unconditionally necessary [Aristotle]
28. God / A. Divine Nature / 2. Divine Nature
13465 Only God is absolutely infinite [Cantor, by Hart,WD]